<html>
<head><meta charset="utf-8"><title>wg-const-eval · t-compiler/const-eval · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/index.html">t-compiler/const-eval</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html">wg-const-eval</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="178227544"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/wg-const-eval/near/178227544" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Dylan MacKenzie (ecstatic-morse) <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html#178227544">(Oct 15 2019 at 19:37)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@oli</span> <span class="user-mention" data-user-id="120791">@RalfJ</span> <span class="user-mention" data-user-id="126931">@centril</span> <span class="user-mention" data-user-id="132916">@Christian Poveda</span>   <span class="user-mention" data-user-id="119009">@eddyb</span> (sorry) </p>
<p>The <code>const-eval</code> channel operates similarly to a working group but is not one officially. It even has its own de facto <a href="https://github.com/rust-rfcs/const-eval" target="_blank" title="https://github.com/rust-rfcs/const-eval">git repo</a>. As discussed in <a href="https://blog.rust-lang.org/inside-rust/2019/10/11/Lang-Team-Meeting.html" target="_blank" title="https://blog.rust-lang.org/inside-rust/2019/10/11/Lang-Team-Meeting.html">last week's lang-team meeting</a>, I think const-eval should be promoted <span aria-label="smile" class="emoji emoji-263a" role="img" title="smile">:smile:</span> to a <a href="https://rust-lang.github.io/compiler-team/procedures/form-new-working-group/#step-1-propose-the-working-group" target="_blank" title="https://rust-lang.github.io/compiler-team/procedures/form-new-working-group/#step-1-propose-the-working-group">proper working group</a>.</p>
<p>There's been some developments in const-eval recently, and an official working group would help to communicate these developments to the compiler team as well as the broader community. I've been working on improving static validation of const bodies to enable <a href="https://github.com/rust-lang/rust/issues/49146" target="_blank" title="https://github.com/rust-lang/rust/issues/49146">#49146</a>, <a href="https://github.com/rust-lang/rust/issues/52000" target="_blank" title="https://github.com/rust-lang/rust/issues/52000">#52000</a> and (in the distant future) <a href="https://github.com/rust-lang/rust/issues/57349" target="_blank" title="https://github.com/rust-lang/rust/issues/57349">#57349</a>, and others have been working on the MIRI side, including adding checks to ensure that the static validation is sound.</p>
<p>I think this hasn't been done in the past because migrating/creating a repo, scheduling meetings and writing progress summaries is not very fun, and most of the stakeholders have a lot of other responsibilities on the rust project and elsewhere. I'm relatively new here, I'm not a compiler team member and I don't have a good understanding of the inner workings of MIRI, but I would be willing to take on some of these organizational tasks, including generating the weekly report to the compiler team. However, I think <span class="user-mention" data-user-id="124288">@oli</span> and <span class="user-mention" data-user-id="120791">@RalfJ</span> should be the co-leads for this WG.</p>
<p>We should also try to have a <a href="#narrow/stream/146212-t-compiler.2Fconst-eval/topic/Weekly.20check-in.3F" title="#narrow/stream/146212-t-compiler.2Fconst-eval/topic/Weekly.20check-in.3F">weekly scheduled meeting</a>.</p>



<a name="178227696"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/wg-const-eval/near/178227696" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html#178227696">(Oct 15 2019 at 19:39)</a>:</h4>
<p>I think we will want this to be a joint t-lang &amp; t-compiler effort</p>



<a name="178227715"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/wg-const-eval/near/178227715" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html#178227715">(Oct 15 2019 at 19:39)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@oli</span> should be the t-compiler liason and I can be that from t-lang</p>



<a name="178227728"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/wg-const-eval/near/178227728" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html#178227728">(Oct 15 2019 at 19:39)</a>:</h4>
<p>but I'll probably not do any leading wrt. dataflow because I need to read up on that :D</p>



<a name="178227837"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/wg-const-eval/near/178227837" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html#178227837">(Oct 15 2019 at 19:40)</a>:</h4>
<p>don't think we have to rename the zulip stream tho or such; we can just use this stream as the wg's stream</p>



<a name="178228189"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/wg-const-eval/near/178228189" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian Poveda <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html#178228189">(Oct 15 2019 at 19:44)</a>:</h4>
<p>Well I'll be happy to help in whatever I can</p>



<a name="178228213"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/wg-const-eval/near/178228213" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Dylan MacKenzie (ecstatic-morse) <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html#178228213">(Oct 15 2019 at 19:44)</a>:</h4>
<p>What do you think about migrating <code>rust-rfcs/const-eval</code> to <code>rust-lang/const-eval</code>? I often want to ping a github org instead of individual people (since I inevitably randomly leave someone out), but I think the org doesn't matter for this?</p>



<a name="178228461"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/wg-const-eval/near/178228461" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html#178228461">(Oct 15 2019 at 19:47)</a>:</h4>
<p>sounds like a good idea; cc <span class="user-mention" data-user-id="116122">@simulacrum</span></p>



<a name="178228488"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/wg-const-eval/near/178228488" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html#178228488">(Oct 15 2019 at 19:47)</a>:</h4>
<p>I did not know anything about an rfcs org prior to today</p>



<a name="178228521"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/wg-const-eval/near/178228521" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html#178228521">(Oct 15 2019 at 19:48)</a>:</h4>
<p>If you transfer the repo to me I can transfer it to rust-lang.</p>



<a name="178228549"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/wg-const-eval/near/178228549" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html#178228549">(Oct 15 2019 at 19:48)</a>:</h4>
<p>(please also ping me here)</p>



<a name="178232046"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/wg-const-eval/near/178232046" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Dylan MacKenzie (ecstatic-morse) <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html#178232046">(Oct 15 2019 at 20:29)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="1095">@T-compiler/WG-meta</span> If the other stakeholders in <code>t-compiler/const-eval</code> agree to this, should I open a PR to add<code>wg-const-eval</code> under <a href="https://github.com/rust-lang/compiler-team" target="_blank" title="https://github.com/rust-lang/compiler-team">rust-lang/compiler-team</a>, <a href="https://github.com/rust-lang/lang-team" target="_blank" title="https://github.com/rust-lang/lang-team">rust-lang/lang-team</a> or both? IMO it's closer to the existing <code>t-compiler</code> WGs than the <code>t-lang</code> ones, but could fit under either umbrella.</p>



<a name="178232229"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/wg-const-eval/near/178232229" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html#178232229">(Oct 15 2019 at 20:31)</a>:</h4>
<p>let's go with t-compiler but just note that it is a joint effort (in the readme)</p>



<a name="178236672"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/wg-const-eval/near/178236672" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Dylan MacKenzie (ecstatic-morse) <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html#178236672">(Oct 15 2019 at 21:28)</a>:</h4>
<p>See <a href="https://github.com/rust-lang/compiler-team/issues/201" target="_blank" title="https://github.com/rust-lang/compiler-team/issues/201">rust-lang/compiler-team#201</a>. I decided to use "Compile-time Function Evaluation" as the long name for the WG, but this may not be everyone's first choice.</p>



<a name="178310127"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/wg-const-eval/near/178310127" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html#178310127">(Oct 16 2019 at 17:28)</a>:</h4>
<p>I'd be happy to be involved but don't have time to take a lead role, I am afraid</p>



<a name="178362530"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/wg-const-eval/near/178362530" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html#178362530">(Oct 17 2019 at 09:00)</a>:</h4>
<p>Actually the way things look right now, UCG+Miri together already take up all the time I have and I probably should not be involved in the const-eval thing :(<br>
 I can't even give you an ETA for when I will be able to look at <span class="user-mention" data-user-id="118594">@ecstatic-morse</span>'s PR in the const-eval repo; if UCG+Miri activity stays like it is that could take weeks :(</p>



<a name="178475543"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/wg-const-eval/near/178475543" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html#178475543">(Oct 18 2019 at 13:51)</a>:</h4>
<p>I don't have a strong opinion on where the const eval "rfc" repo lives</p>



<a name="178475563"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/wg-const-eval/near/178475563" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html#178475563">(Oct 18 2019 at 13:51)</a>:</h4>
<p>making this an official working group is a good idea</p>



<a name="178484521"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/wg-const-eval/near/178484521" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Dylan MacKenzie (ecstatic-morse) <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html#178484521">(Oct 18 2019 at 15:27)</a>:</h4>
<p>I don't know anything about the administrative side of github. I thought having it in <code>rust-lang</code> would make it a bit more visible.</p>



<a name="178484666"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/wg-const-eval/near/178484666" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Dylan MacKenzie (ecstatic-morse) <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html#178484666">(Oct 18 2019 at 15:29)</a>:</h4>
<p>Also, if we can agree on a short name (<code>wg-const-eval</code> or <code>wg-ctfe</code>) I'd like to add it as a team to the rust org.</p>



<a name="178484688"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/wg-const-eval/near/178484688" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html#178484688">(Oct 18 2019 at 15:29)</a>:</h4>
<p>wg-const-eval sgtm</p>



<a name="178484729"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/wg-const-eval/near/178484729" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html#178484729">(Oct 18 2019 at 15:29)</a>:</h4>
<p>maybe just wg-const (since const fn is not necessarily just about const eval)</p>



<a name="178484743"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/wg-const-eval/near/178484743" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Dylan MacKenzie (ecstatic-morse) <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html#178484743">(Oct 18 2019 at 15:29)</a>:</h4>
<p>I seem to remember there being a weirdly heated thread about the acronym CTFE in the distant past</p>



<a name="178484747"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/wg-const-eval/near/178484747" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html#178484747">(Oct 18 2019 at 15:29)</a>:</h4>
<p>(but bikeshed matters not)</p>



<a name="178485186"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/wg-const-eval/near/178485186" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Dylan MacKenzie (ecstatic-morse) <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html#178485186">(Oct 18 2019 at 15:34)</a>:</h4>
<p><a href="https://github.com/orgs/rust-lang/teams/wg-const-eval" target="_blank" title="https://github.com/orgs/rust-lang/teams/wg-const-eval">https://github.com/orgs/rust-lang/teams/wg-const-eval</a></p>



<a name="178485437"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/wg-const-eval/near/178485437" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Dylan MacKenzie (ecstatic-morse) <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/wg-const-eval.html#178485437">(Oct 18 2019 at 15:37)</a>:</h4>
<p>Add yourself if you wanna get pinged for big PRs/new issues I guess</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>